Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
441	Unsupervised Relation Discovery with Sense Disambiguation Limin Yao Sebastian Riedel Andrew McCallum Department of Computer Science Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2012-07-26 18:14:09 Semantics Lexical semantics Natural language processing Logic Statistical natural language processing Word-sense disambiguation Hierarchical clustering Finitary relation Sense and reference Linguistics Science Computational linguistics
442	Genic Interaction Extraction with Semantic and Syntactic Chains Sebastian Riedel [removed] Ewan Klein [removed] Add to Reading List Source URL: www.ltg.ed.ac.uk Language: English - Date: 2007-05-10 14:22:15 Clause Logic Science Computational linguistics Linguistics Treebank
443	Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-09 19:51:28 Semantics Predicate logic Formal languages Model theory Computational linguistics First-order logic Parsing Combinatory categorial grammar Combinatory logic Logic Mathematics Mathematical logic
444	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
445	Computational Semantics in the Natural Language Toolkit Ewan Klein School of Informatics University of Edinburgh Scotland, UK [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:16 Model theory Predicate logic Semantics Quantification Philosophical logic First-order logic Interpretation Lambda calculus Function Logic Mathematical logic Mathematics
446	The Logic and Discovery of Textual Allusion David Bamman The Perseus Project Tufts University Medford, MA [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-08-23 15:32:42 Natural language processing Corpus linguistics Psycholinguistics Treebank Dependency grammar Syntax Coordination Semantic similarity Sentence Linguistics Computational linguistics Grammar
447	DDDAS Workshop: WG2 - Mathematical and Statistical Algorithms Craig C. Douglas, George Biros, and many friends More Funding, Less Filing Add to Reading List Source URL: www.dddas.org Language: English - Date: 2006-01-22 19:14:02 Control theory Systems theory Formal sciences Computational science Algorithm Mathematical logic Agent-based model Data mining Kalman filter Science Scientific modeling Statistics
448	CalendarExpressionSemanticTagging Add to Reading List Source URL: www.mondeca.com Language: English - Date: 2010-07-21 09:50:01 OSI protocols Semantics TimeML Expression Modal logic Temporal expressions Named-entity recognition Regular expression Language Computing Computational linguistics Logic
449	Learning and Verifying Quantified Boolean Queries by Example Azza Abouzied∗ , Dana Angluin∗ , Christos Papadimitriou∗∗ , Joseph M. Hellerstein∗∗ , Avi Silberschatz∗ ∗ Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2013-08-06 23:17:37 Logic Database theory Computational complexity theory Descriptive complexity Finite model theory SO Relation Boolean algebra First-order logic Theoretical computer science Mathematical logic Relational model
450	A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:14:14 Theoretical computer science Grammar Formal languages Logic programming Type theory Higher-order abstract syntax Free variables and bound variables Lambda calculus Syntax Mathematics Logic Software engineering

UPDATE